منابع مشابه
Logical types and linguistic types
One of the primary aims of linguistic semantics is to translate the expressions of natural language into formulas of some logical calculus. These formulas, in turn, can be interpreted in the appropriate models, and semantic notions like truth, entailment, etc. can be formally defined in the usual manner. In addition to the well-known theoretical advantages of such an intermediate logical form, ...
متن کاملGrammar and Logical Types
This paper represents categorial grammar as an implicational type theory in the spirit of Girard's linear logic, and illustrates linguistic applications of a range of type-constructors over and above implication. The type theoretic perspective is concerned with a correspondence between the logic of types, and computational operations over the objects inhabiting types. In linguistic applications...
متن کاملLogical Mobility and Locality Types
We present a type theory characterizing the mobility and locality of program terms in a calculus for distributed computation. The type theory is derived from logical notions of necessity (2A) and possibility (3A) of the modal logic S4 via a Curry-Howard style isomorphism. Logical worlds are interpreted as sites for computation, accessibility corresponds to dependency between processes at those ...
متن کاملIntersection Types as Logical Formulae
The aim of this paper is to investigate, in the Curry-Howard isomorphism approach, a logical characterization for the intersection-type discipline First a novel formulation of the intersection type inference for combinatory logic is presented, such that it is equivalent to the original version of the system, while the intersection operator is no longer dealt with as a proof-theoretical connecti...
متن کاملLogical Relations for Monadic Types
ion of the morphism 〈u, v〉 in the subscone from 〈S,m,A〉⊗̃〈S1,m1, A1〉 to 〈S2,m2, A2〉 is then the pair 〈ẽ2 ◦ ũ,Λ(v)〉 given by the diagram: S m // ũ ## Λ(u◦e.1) 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 |A|
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Argumentation
سال: 2016
ISSN: 0920-427X,1572-8374
DOI: 10.1007/s10503-016-9414-6